[ Base.hs ] Added type signatures
[ SizedTypes/Syntax.hs ] Removed unused 'emptySolution'
[ Conversion.hs ] Added type signature