Describir: A Negishi Approach to Recursive Contracts.