Update ideas.
Sketch of type-safe printf.