GHC API: add checkAndLoadModule