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