Corrected the module SetOfMapKeys and moved it to Helpers.