Adds hopeful empty section.
Adds rationale for integer valued measure functions.
Organizes compendium.
Explains conjecture for completeness in PO \cap ApxNCO.