Support locks in parser
Support locks in CESK (and thus in PCESK)
Add lock examples
Improve error message
Fix letrec allocation