It ctor for (:->); simplifications; toCCC/toCCC'