added snippets of the examples for lexical scoping in Samson section 8
change one example to work in a particular theory
- clean up, 
- add Strict and Static reduction relations,
- avoid restoring nilccs on forcing THUNKs, 
- redo some definitions