Add doc for Stateful

Updated from original delite/Stateful reference doc.

BTW we also need doc for Observable.