some updates to kool untyped
exercise 1 for kool untyped