Imports now work with type checks