this_program add(mixed left, mixed right)
Adds "left R right " as a member of the relation. Returns the same relation.