a parser for typescript types, written in typescript types