add error codes for 'supertype of type is not visible everywhere'