Experimental type-import checking (no UI or anything, yet)

Refs #1