generalize Ext/SymEnv to SymPolyEnv

- It has some interesting dependencies.