added equals method to partition
added two new methods for constructing partitions: simply by node type or based on the fingerprints obtained from another partition
partition equivalence now not tested in equals(), which slows everything down, but in a separate method called equivalent
fixed bug in partition from fingerprint, add test for it
added some TermType abbreviations