Version 0.6 - Type system overhaul

Major update overhauling the type system completely, as well as numerous minor changes.

This version requires separate Jupyter notebook, e.g. Jupyter 4 or later.

No binary release at this point; this is still alpha.