example implementation of mu-kanren, added a few functions to stdlib