Added a Not Empty contract for collections
small update to the readme
slight change to organization of tests. and some refactors in the enforcer and proxy.