Fixing typos in _test_semi_infinite.
Adding orbit_types function to automorphism.py
Adding doctest for example 4.25