Started exploring nom solution
Merge readme changes
Nominal resources
CR
Using @namin code to bootstrap evaluation w/ nominal logic
Working on succ
Succ is working for nom. Plus don't
comment traces
nom ftw