Type mismatch between require and supply.
          #2145   Compile-time error
          Type mismatch between require and supply.
Additional Information
 The required global 'X' is of type 'Y', but the supplied global is of type 'Z'.
Explanation
An IMPORT statement is trying to satisfy a module
requirement with an object of a wrong type.