Rewrite notions of reification, add a subset C++ rules.