Equivalence classes for InfiniteFactors

renaming _orbit_type() to orbit_type() (no longer thinking of it as
internal)
Infinite Conjugacy test: Initial/terminal elements