Unify LambdaEdit and PiEdit into LamEdit
Use LamEdit style args in definitions