Moved KOOL, FUN, and LOGIK from examples to tutorial/languages