Add simple Stateful annotation.
Update snapshot documentation.