fixed HOTerm.uncurry and other small problems