checkImports :: Module a -> Int -> State CheckState ()
checkImports' :: [ImportDecl] -> State CheckState ()