Remove KnownNat dictionary