fix correctness tests
make SAP immutable, fix distance in WordNet