moved memo addresses into State.addresses()
ProcId follows benv.application
lattice(Value) cleanup; store/countingStore; processErrors now filters
out errors
APair now simply is (car, cdr) but checks for equal cdr.car