[defs.py] Add nice class names.