[ new ] lens Syntax.Concrete.mapLhsOriginalPattern
[ refactor ] Factored out scopeCheckExtendedLambda
[ clean ] Deleted old, commented out code.  Cosmetics.
[ Auto ] Indentation fix, comments, and some fruitless rewriting.
Merge branch 'maint-2.4.2'

Conflicts:
	src/full/Agda/Auto/Auto.hs
	src/full/Agda/Syntax/Translation/ConcreteToAbstract.hs