Reformatting of 'Synthesis.fs', plus some simplification of the type signatures in the implementation.
More minor simplification of types in the 'Synthesis' implementation.