added pairs and unit to the simply typed lambda calculus in MoreStlc.v
added let bindings to the simply typed lambda calculus in MoreStlc.v
added sum types to the simply typed lambda calculus in MoreStlc.v