macro expander repair

Fix problem with sealing annotations on module contexts generated
to record a context identity.