Fix of issue #37. foldr, foldl, fix, apply, applyTwo, odd, and even all work now

The problem was that we weren't emmiting equalities between
the taus we created before inferring the type of bindings,
and the taus that tcValBinds returns.