Equality and ordering functions.
Draft arithmetic operations/API.
Adds predicates.
Includes combiner? predicate.
Provide the make-environment in the runtime.
Lambda calculus and functional core stuff.