Remove an obsolete short-cut in the type inference engine.
Remove an obsolete short-cut in the type inference engine.

This used to look for decimal literals applied to specific primitive
operations and cause them to silently default to bitvector types
large enough to hold their values.

With the new literal defaulting system, this special case is no longer
necessary.

GaloisInc/cryptol,GaloisInc/cryptol,GaloisInc/cryptol