- , BlockEnv, emptyBlockEnv, lookupBlockEnv, extendBlockEnv, mkBlockEnv, mapBlockEnv
- , BlockSet, emptyBlockSet, elemBlockSet, extendBlockSet, sizeBlockSet, mkBlockSet
- , foldBlockEnv, blockLbl, infoTblLbl
+ , BlockEnv, emptyBlockEnv, elemBlockEnv, lookupBlockEnv, extendBlockEnv
+ , mkBlockEnv, mapBlockEnv
+ , eltsBlockEnv, plusBlockEnv, delFromBlockEnv, blockEnvToList, lookupWithDefaultBEnv
+ , isNullBEnv, sizeBEnv, foldBlockEnv, foldBlockEnv', addToBEnv_Acc
+ , BlockSet, emptyBlockSet, unitBlockSet, isEmptyBlockSet
+ , elemBlockSet, extendBlockSet, sizeBlockSet, unionBlockSets
+ , removeBlockSet, mkBlockSet, blockSetToList, foldBlockSet
+ , blockLbl, infoTblLbl, retPtLbl