Docs for abstract state

Signed-off-by: Ian Bell <ian.h.bell@gmail.com>