morph mul1 to use Mux rather than m.If/Else