use mulx for Fp<4>::mul
fix comments
keep slow code