fixed unification and allows calling functions wrapped in two ofs

[Simn]

I have merged the unification fixes but not the typer changes. We need a better solution here which involves recursively "following" the Of type to its function type. I will think about this some more.