2 ms·

Cool, very interesting. I need to look into Coq again! Maybe it's closer to what I want than I thought!