Would be nice if this could be made into a more general tool, would be a cool way to modernize older libraries and reinvigorate new development into them
Some demos are available on his page: https://www.mtsystems.ch
This work is based on the stuff he did for his PhD. I think his largest test case so far is a full translation of VIM.