Import checker

Checks that imports inside SymPy modules go directly to their definers.