Working on the new Module implementationpost of Weil representations