Add typed beggining of typed lambda program.

So far no types. Identical to untyped, but supports booleans, since there needs to be a base type in typed lambda calculus.