modify language defn.
add STLC type inference (monomorphic)
remove debug code