data space specifier consists of type, or =expression for unit data space (parameter of creating function), or quoted string lit, or descriptor valued expression, or a boolean valued predicated or nil eg {(x), x>O | integer (x)} for positive integers