Separate F from V; all SCPCF/heap tests pass.
Delete predicate memo rules (previously commented out).
Preliminary support for labelled bullets.
Use negative addresses for labelled bullets.