Removed some node types, improved Simplify

- Negative
- Root
+ Subterm evaluation