semilinear_util: minor refactoring
simplifiers: make IsActive() static
semilinear_set: fix a bug in the simplifier
sparse_vec: minor improvements
small improvements in a few places
simplifiers: implement a more flexible interface
var: inline operators