fixed bug in canonize related to output type-matching.  added fill_chain function. fixed local_mul_specialize too