CLEAN

An equivalence-preserving rewrite of an output-head computation. It admits nothing,
refuses nothing, and returns exactly what the dense head returns. Implements no filed
apparatus.
