A bit more

@BenDoyle 

Just trying to keep you up to speed with what i'm doing.

Still have lots to do for verification and extraction, like your notion of directed acyclic graph, my thinking is

RuleRunner.run
 1. run rules determine outcome
 2. pass outcome to each rules to execute (allows rules to have behaviour on suite pass/fail) (or have rules return an execution that gets put on a stack)


I'm not positive the directed acyclic graph is necessary -- in someways i'd like to enforce this with a rule. not sure how we'd do that (maybe runner runs pre step)

Some Nomic things that are missing:
1. rule order that makes older rules harder to change (we could enforce this with a rule, but we need order)
2. judgement.