switch to bp.rkt
Parameterize by lattice
Merge