TODOs fixed in core.logic, via LOGIC-100 and LOGIC-101 patches.
update core.logic to rc2
use released 0.8.0-rc2