ddc-core: also use bidir checking in let bindings with type annots