Type-checker: Reduced warnings in strict types mode.
Don't complain in strict types mode when eg a
is called with an int.
This change makes it possible to strengthen the types for several of
the integer operators without getting lots of erroneous warnings.