Update m-types-from-nat: 962516bb059905bb4b38f70a99338eb0fdfaeb94