Function pm#function_returning_a_collection_from_2_elements (?,? -> collection)
  supertype:  relation_to_collection
  subtype:  cons (?,list -> list)
  subtype:  adjoin (?,list -> list)
  subtype:  remove (?,list -> list)