Fixing #3474: making sure module names match filenames in case

[mtzguido]

I added an exception for prims.fst, which does not make match Prims. I'll make a separate PR for renaming the file and removing the exception.