Added TYPE node type to avoid clashes with PARAMS in algebraic typedefs