refactor assumptions in sym.m, unify symbol code a bit
syms f(x) creates x too if not defined, use assignin instead of eval
symreplace.m
cleanup symreplace