Support for explicit type declaration in local variables
refactoring nodes to be based on subtypes rather than unions
Added ternary nodes, and types to decl nodes.