semilinear: some refactoring of template arguments
semilinear: print sets in lexicographical order
pseudolin: disable simpl_freq for now
pseudo: use VecSet instead of std::set
pseudo_linear: optimize + and * for 0 and 1
sparse_vec: fix issues when using many different Dividers
pseudo_linear: remove some unnecessary DMSG
Merge pull request #32 from michalt/semilinear

Implement VecSet