A tiny functional language

Parses a interprets a functional language with basic definitions. It's closest to the simply typed lambda calculus than to any other system, but I did allow definitions of simple data-types.