[ cabal ] Relaxed upper bounds for transformers and mtl.
[ issue 1271 ] Fixed second half (inductive recursive records, types).

Cycle detection in Unify was too eager, being incompatible with HoTT.
[ whitespace ] +- empty lines in test case.
[ issue 1271 ] test cases for inductive recursive record and types.
Merge branch 'maint-2.4.2' of github.com:agda/agda into maint-2.4.2