Unify LambdaEdit and PiEdit into LamEdit
Use LamEdit style args in definitions
very modern
ApplyEdit: mPrecedence->precedence