TermADT (#10): add LamT ctor and LamT? predicate