Fixed omitted exports.
The evaluate function is now even simpler: evaluate = extend wfix. Category theory: it works!