pretty type names