Implement orthogonality predicate on trees.
Merge origin/implicit-lattice into implicit-lattice