make compiler keep constructor map after failed module declaration

was discarding it, which is incorrect.
also, make it add the module name bound to an empty list of declarations
to its rmenv, to match the semantics.
vague look at proving env_rs after a failed module

seems untrue. semantics and/or compiler needs to be tweaked.