Add core.typed and Timbre recipies

3 core.typed recipes and one Timbre.

Can we add a chapter for verification? core.typed doesn't really fit into testing.