Type spec changes.
Specs doc draft.