Minor tweaks and comment changes
Support negation in clause matching side effects, propagating it to disallow query steps
Handle explicit and implicit negation of fact invocations, explicit negative readings for fact types, passing that and optionality to query steps, and re-verbalising implicit and explicit negation