Add boyer-moore benchmark, but it's not supported yet because of mutual-recursion
Add collatz benchmark
Explicitely deal with mutual-recursion in boyer
Fix multiple expressions inside let