See TypeSystem.