ubTermsEnv pd ed env lam (body :* Nil)
    | Just v <- prjLambda pd lam
    = [(ASTE body, lamEnv v env)]

subTermsEnv pd ed env lam (body :* Nil)
    | Just v <- prjLambda pd lam
    = [(ASTE body, lamEnv v env)]
subTermsEnv pd ed env lam (body :* Nil)
    | Just v <- prjLambda pd lam
    = [(ASTE body, lamEnv v env)]