[derek] toplevel bindings using let and let rec