Add a new file which hides the type of the state using existential quantification
This representation is nicer to program with because the types are smaller
and easier but there are certain functions, like lambda, which seemingly
cannot be implemented
Add some comments to Synch.hs