Implmented miniKanren funcs for Monadic version, moved examples to project root