Rename to KSON, deleted exploration code, fixes #3