We should switch our internal representation of symbolic terms to be based on [Terms.jl](https://github.com/HarrisonGrodin/Terms.jl). This depends on #67, since Terms (intentionally) only supports syntactic matching.
