Add slice to MultiIndex

Also some bugfixes, for prettify on option types.

Moved some of the Index code into the library, instead of generating it.
Merge branch 'master' of github.com:DaMSL/K3-Core