modernize stlc.rkt and eliminate ellipses so that well-typed generation works