Implement typetree changes
This merge requests adopts the recent changes to TypeTree. As such, it requires a very recent of TypeTree to compile. Most importantly, with this merge request subspaces should work reliably again.
This merge requests adopts the recent changes to TypeTree. As such, it requires a very recent of TypeTree to compile. Most importantly, with this merge request subspaces should work reliably again.