since we rely on the string `TypeSystem` here matches the one in `__init__`, could make it a constant?