On Mon, 19 Aug 2019 23:57:30 +0000, Matthew Bromley-Barratt wrote: > ... how about value and size constraints too? Would the notation for expressing such constraints be Turing-equivalent, or do you envision something less ambitious? How about interdependencies between arguments?