Fixed faulty position information for holes (where it's actually important)
Fixed the hole management a bit; still some quirks
Type checking of type synonyms added; some refactoring to make it work smoothly
New functionality: printing contexts, highlighting active hole, better hole navigation
Wrapper rewritten for easier communication with emacs (this also
required adding pretty printing). Emacs mode defines a mode now and
almost can be used (still does not highlight the syntax or tabulate,
though).
Fixed a bug in the example code, added an empty function as a place to
show the case-splitting mechanism at work.
Merge branch 'types' into emacs

Conflicts:
	top.sml