dumbest possible handling of type literals.

just pretend they're actually ints and strings with no refinement
use parsec's error messages