[ Base.hs ] Added type signatures
[ SizedTypes/Syntax.hs ] Removed unused 'emptySolution'
[ Conversion.hs ] Added type signature
Merge branch 'maint-2.4.2'