Adding a bogus example
Fix environment handling in begin
Adding a sequential example with mutually recursive functions
Fix letrec for mutually recursive functions
Add a deadlock example