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