Yea I agree. That was from the stupid hack I wrote originally, and it's now gone. Both the notation and description will be built from a case class structure converted from `Type`.