This `errorstar` should probably be changed to something like "Could not load module X. Please submit a bug report at github.com/ucsd-progsys/liquidhaskell." I don't think that should ever happen.