Planning data-types.

This is a bunch of types and tests, that are required to do a
pure implementation of the planning algorithms.
Yeah we really need those plus/minus day combinators on Date at some point