Right now the interpreter is generic over the type of value we are interpreting, essentially allowing for abstract interpretation over symbolic values in theory. But we aren't using that functionality. And we have no plans ever to use it in the future: instead we have the egraphs pass and its support for forwards analyses, which is our framework for analyses moving forward.

So can we simplify the interpreter by working with concrete values instead of a type parameter that is bounded by a trait?

cc @abrown @afonso360