Domain-Specific Languages (DSLs)

Build small, embedded DSLs that validate user-provided expressions via concepts.