Implement convenience functions to interact with `Expression` tree - [ ] #226 - [ ] #228 - [ ] Term replacement - [ ] Free variable collector/visitor