this works; action kind is implicit in condition
this works; action kind is implicit in condition

i think this will do for now

next up, recursive clauses and pretty-printing

then we move from a shallow embed to a deeper embed

legalese/legalese-compiler,legalese/legalese-compiler,legalese/legalese-compiler,legalese/legalese-compiler,legalese/legalese-compiler,legalese-io/legalese-compiler