Exactly, the work of Tony Garnock-Jones: https://syndicate-lang.org/