Working on the new Weil representation implementation