Update m-types-from-nat: a106b79a458987bd609f496606c57d23befd9d93