Generating more types and safe identifiers.