Docs improvements.
Type spec changes.
Specs doc draft.