imports are unattributed even after typechecking so we need to relax our validator