fixed kool-untyped definition
fixed kool-typed-dynamic definition