errors in types mentioning type aliases must not be flagged on the line where the alias is defined
derived Enum instances of trivial types produce singleton list for all arithmetic sequences
intrduced extra chapter for specification of derived instances
Merge branch 'master' of https://github.com/Frege/frege