started rewrite of alta's code in mystic's symbolic math module; cleaned/updated code to generate penalty functions and constraints solvers; lots of renaming functions in symbolic.py