Added sorts with definitions