Fix type inference for recursive let bindings (#2187)

Fix type inference for recursive let bindings (#2187) #562