deleting more unneeded stuff in desugar, for inlining modules