Stub in evaluation.
Merge branch 'master' into evaluation
Rename Generic to Polymorphic.
Type is Printable.
Lambda terms.
Add custom assertions.
Construct and test the type of the identity term.
Polymorphic types are in curried form.
Unboxed constructor for function types.
Unboxed constructor for polymorphic types.
Use the convenience type constructors.
Section headings for Term.
Unboxed constructor for abstraction terms.
Use the convenience abstraction constructor in the tests.
de Bruijn
Drop Parameter/Return, they’re probably bogus.
Terms are Printable.
Value is Printable.
typeof takes a typing context.
Abstractions append onto the typing context.