parsing typespecs compiles