Add a generic expansion transform: A op (B op' C) -> (A op B) op' (A op C)