Added transpose_operation.
Replaced UnaryPredicate by Predicate and BinaryPredicate by Relation.