I thought the type[new] syntax was part of a proposed feature that never got off the ground, but then I didn't pay much attention to the discussion. Under that assumption, could we get that syntax out of the parser? Offending code circa 2477 and 2597 in current repo