Added stub for X.Types.
Sketch out first pass at ToDo type.

With lenses.

Also, I've stubbed in a place for the other primary data types.