fix module name
started Coq generation for scopes