Clean up basetypes.py