de bruijn updates

added let bindings, cleaned up a few things