several changes:

added Equal1.
added Equal instance for Scope, and Equal1 instances for Var and Scope.
using these for equality in tests.
added f0 scope reader
added scope f0 get/put tests.