pushed through large-tuple updates
added a quick optimization
removed (now redundant) unit type/term/value
added large tuples to the parser; untested