removed a class: PolytypeNumber.