Tracking: Implicit conversions

[onbjerg]

Describe the feature

Tracking issue for implicit conversions in the typechecker. These are handled in Ty::try_convert_implicit_to.

Reference: isImplicitlyConvertibleTo in solc Types.cpp: https://github.com/argotorg/solidity/blob/aca05d4df9c6a959243d96d8be56cd1f63df8680/libsolidity/ast/Types.cpp

Additional context

No response