Added an AST that an ML parser might generate.

Later, I'd like to add an elaborator/type inferencer that will convert
from this to the typed-annotated AST in miniML.lem.

Besides being un-annotated, this AST doesn't differentiate between the
various kinds of applications, or require knowing if a variable use is
bound to a primitive built-in or let-bound.