[bindings] Concretize Result types without type aliasing