[code analysis] add support to check that a type is assignable to another type

[khemichew]

Currently a type A is assignable to another type B if they are equal.

However A could be assigned to B if A inherits B where B is a class, or A implements B if B is an interface.

This could be useful when determining if the overloaded operator in user defined types can be a valid replacement candidate.