Simply Typed LC

[TurtlePU]

After enabling the corresponding language extension (see #9), switch from the untyped lambda calculus to the simply typed LC.
This is a tracking ticket for several related issues:

• Type constants #15
• STLC Term parser #16
• STLC Type checker #17
• Type aliases #18