Some notes, if we ever do a big refactoring of rosette-synthesize.
- It's currently odd that lr-expr and bv-expr aren't the same type. bv-expr isn't a Lakeroad expression, while lr-expr is. While this is convenient---it means we don't have to force the spec through the Lakeroad language---it also just feels odd and isn't necessarily clear from documentation.
Some notes, if we ever do a big refactoring of
rosette-synthesize.