* added connectives, constants and type descriptions.