core: fix inference for non-recursive let-bindings