main: fix a silly bug
linear_set: use VecSet instead of std::set
semilinear: use VecSet instead of std::set
semilinear: cleanup and remove unneeded code
minor changes