set_smallk and compact inverse
Add load/save, fix comments, reintroduce dedicated addition, and write reference implementations