Type-checker: Fixed typo in handling of NOT-types.

This could cause incremental writes (and likely core-dumps) anywhere
in the 32-bit address space, but was unlikely to be triggered in
practice due to NOT-types not being available at Pike level.