Semi-first commit of core.logic code