new KList module to deal with lists built by
continuations (in Unif especially)
added LazyList
logtk.solving sub-library, for solving constraints