Fixnum type annotation fixes. Enforced checked mode.