The Ivory EDSL