Kool update

All three variants of KOOL updated to work with the unified-builtins2 branch.