hmm, what would you think about covering canonical hierarchies using schemas and keeping non-canonical hierarchies "untyped"? we'll be working on improving the ergonomics of using schemas over the summer so that they'll be easier to work with