Fix a renamer error in module instances.
Make sure the renamer doesn't quantify too much.
Make the desugarer update the symbol table names.