Update m-types-from-nat: e9e6bde2297e434c3c478769139928782e2e228a