bug fix: jelly.mock.reset doesn't clear module defs and trait defs.