type-spine

This is very much a "bumping up" of the term-level spine view, c.f. Hinze's work and Emil Axelsson's hackage package syntactic. See the type-cereal and type-ord packages for use cases (ultimately supporting the yoko package).