Better hygiene by using `Type` instead of `TypeTree`
Merge pull request #57 from larsrh/topic/hygiene

Better hygiene by using `Type` instead of `TypeTree`