Implementations eflint Normative DSL for formalising and reasoning with laws, regulations and contracts Git Hackage Citation Dependencies: exploring-interpreters gll regex-applicative