Fixups.

Fix unify to work properly with type functions.
Needed for Fletch's Monad tut.

Make flx_tangle emit #line directives on switch --linenos.
So error message refer to the original source.

Make more tutorials compile.