Describir: A fresh look at the foundations of mathematics