XFA generalization: remove BinaryRelation typedef

Uses have been replaced by sem_elem_t for greater generality.