Create symbol table abstraction for simplifier.

Also moves ScalExp into its own module, as the symbol table will
depend on it, yet need not depend on the full algebraic simplifier.