Separate value names and type names in the AST