find a better way to locate all implicit conversions of untyped constants

[egonelbre]

Currently exhaustively writing all the cases for conversions seems too verbose and error-prone. There should be a better way, since the compiler already does the conversion somewhere.