Made safe safer.
The naive evaluator works!
Removed unnecessary IO requirement from 'eval' and allowed Show for Rule and Env.
Filtering works
Added some stratified machinery
No can now stratify an entire sub-query