added lists to the simply typed lambda calculus in MoreStlc.v
added a fixpoint operator to the simply typed lambda calculus in MoreStlc.v