Naive type equivalence & structural subtype predicates.
Initial testing support.