Planning data-types.

This is a bunch of types and tests, that are required to do a
pure implementation of the planning algorithms.