Error is now explicitly typed
Fix erro
TupleSelect -> tupleSelect constructor, when necessary
MatchExpr -> matchExpr
Separate trees from tree constructors+simplifications