removed ZeroHeckeMonomial, and new ZeroHeckeElement is much faster