Abstract types, reserved names