Simplified term language and broke it into the three distinct passes.
Removed function type, added operator composition to flattened terms.