Fix comparisons
Complete test coverage of frozenlist
Fix reversed addition