fix Char default in types.py