Word problem comm semigroups and expspace hardness

Phase semantics lower bounds for
1. Lincoln-Winkler NP-completeness
2. LMSS undecidability