berry: memory post-fixpt validation
refactoring Require Import
Merge branch 'master' of github.com:skcho/zooberry
berry: debug, eval structure field locations
berry: memory implication validations on edges
berry: overall validation defined with some admits
admit removed
refactoring to use monad operators
admit removed
remove meaningless comment
berry: extraction
Merge branch 'master' of github.com:skcho/zooberry