fix Char defaults in types.py