The typechecker knows of declarations made in imported modules