[ comments ] and whitespace only.
[ clarify ] some obfuscated code plus simple rewrites.
[ compilation ] Forgotten TupleSections pragma.
Merge branch 'maint-2.4.2'

Conflicts:
	src/full/Agda/Syntax/Concrete/Definitions.hs
	src/full/Agda/Syntax/Translation/ConcreteToAbstract.hs
Merge branch 'maint-2.4.2'