Replace "final tagless" with "typed final"

[freddie-freeloader]

• [ ] Kilselyov calls it "typed final approach".
• [ ] We could see contexts of document as a simple type system