Describir: Democratizing Transactional Programming.