During the linking step we should attempt to detect missing imports or type mismatches in order to provide better error messages during instantiation.