Handle some forgotten exceptions
Fix gc with letrec
Disable first-class locks by default
Update README