Variable names and type names

The rules for variable names are as follows:
The rules for type names are as follows: