Stlc; initial commit
Types, terms, values, substitution
Reduction
WIP; Typing relation
Typing relation finished