Extractors for type splices
Extracts the content of a spliced type tree. The result can be the contents of a type splice, which will return a type tree.