Rename profunctorial type variables in Loader.
Swap m and a type args to Loader.
Add Profunctor for Loader; clean up product.
Tests for invalid characters in a module name for filesystem loading.
Filesystem cleanups from hlint.