move tests out of the oleg numbers file
make the names of clause-and-effect examples more miniKanren-ish
use oleg numbers!
implement most of the oleg number system (just logo/expo missing)