Fixes - all /simple tests pass.

  - Type aliases need fixing.
Union tests pass
Reverting consExprT.
Minor typo in example.