recursive definition in cpsExpr LAnd, LOr. can it work?