Typo in FreeSemigroup code.
Finalised code and changed some stuff in thesis to reflect these changes.