let's just use identity... don't see any need to change basic functions
added cKanren copyright stuff
finished adding base cKanren framework and miniKanren implementation and adding basic tests for unification based programs. Basic runs work, at least.
added cKanren specific test programs
added tracing to bottom of files (and commented it out) and fixed up tests. Removed application of mzero in cKanren-framework, which isn't a function but a null list... tough bug for being so simple... ugh.