Fix type inference for recursive let bindings

Fix type inference for recursive let bindings #559