Changes since 0.12:
-------------------
   - Extend error message to include fault when updating value
   - Lots of improvement in tutorial after proofreading by C. Robin
   - A few important bug fixes:
	- fix possible race issue in wait
	- fix code generation for complex wait primitive