var: rework variable identifiers
sparse_vec: use emplace instead of []
tests: follow changes to Var
pseudo_linear: minor updates
polynomial: better type for Map