Describir: Programming with Paradox