Apply fusion to applications of outermost, similarly to innermost fusion.

An incomplete implementation is already part of fusion module.

The idea is to reduce terms to head normal form and then reduce subterms.

Submitted on 30 October 2005 at 12:23