more crazy optimziation: 1. Refinement of todo set; 2. The entire framework is refacroted to support standard domains AND Godel hashing domains