Fix the translator.

The Okasaki examples don't all build though.