Small fixes.
Again small fixes. Brackets around expression with mt () are necessary.
Arrow types, lambda representation and currying.