Improved Kset semantics
Fix Kset interpreter test