Closed
Description
In #48985, @scalexm added types for goals/clauses to use in the experimental lowering. That code used a Box
to enable recursion. The typical thing for us to do is to use interning, as described briefly in this comment. There are FIXMEs in the code.