added cnf code + test, apparently cnf it is still broken, it has to either return a cnj, prop or neg…. some infinite recursion going on as wlel etc