Implement EqS for Dummy AST.
Genericizing Dummy Expr.
Unify type and constructor names.
Fix UnapplyHTag

Fix a bug that generated the wrong type for TagT.
Decls now working as well.
Genericize Var.
Hide broken `to` method.