Fix some styles in types.py