investigate usefulness of providing a compilation mode that disables fixnum overflow detection

[felix winkelmann]

This would mean alternative specialization rules which might increase performance somewhat. Currently types.db can not contain sets of alternative specializations, we would need something like cond-expand for entries in the type database.

Such a mode could be enabled by a declaration and/or a compiler option.