Add _InstantiatedType.__str__
Merge branch 'master' into mammoth
WIP