Adds puzzle class, knights puzzle type synonym, and generalizes equivalence relations.