9.13.3 (2020-05-29) Bug Fixes types: improve type inference and correct some return types (#1983) (d2e47cd)