these tests do not mean much anymore because import types are not special-cased in well-formedness