types(was_variable, 7, 2.5, pair(a, 1)).
ordering(<, =, >).
functors(node(left, right), node, 2, right).
copied(pair(source, source), pair(copy, copy)).