Removed TypeSystem.