Get rid of implicit imports
Closes #408 (closed)
Also in general, tries to get rid of implicit imports. Two cases are left where I didn't feel like untangling the mess.
Hoping the CI catches any spots I've forgotten, will wait for a sec before merging!