Fix a bug with finding common parents to sorts
Relax a requirement that was too strong when checking the sorts of a
generator, especially with subsorts
A bit of refactoring
Updated documentation
Clean up + small bugfix in parser
Fix partial evaluation of an array access
Small corrections to the parsing
Final touch to the GAL in Stratagem