%%% Untyped lambda-calculus
%%% Author: Frank Pfenning

term : type.  %name term M.

lam : (term -> term) -> term.
app : term -> term -> term.