Terminology - Group name for pure or applied λ-calculus

Stream: new members

[Eric Taucher]

In writing some code to reduce λ-calculus terms learned that for pure λ-calculus the result will be an abstraction, I.e. λt.x and for applied λ-calculus the result can also be a variable, E.g. x. So my code has this argument that accepts either pure or applied and I am looking for a meaningful name for the argument and don't want to use type or kind and was wondering if there already exist a name to discriminate these.