Added function reimplementation rule

Warns that fun a b -> a * b is the same as (*)