Recursively build parser types.