switch to bp.rkt
Parameterize by the term-results data structure