Domain-specific languages

Combine superior expressivity of OCaml with a modern approach to natual language processing to create a domain-specific language for describing and enforcing assumptions.