Merge pull request #44 from marqh/vmapTest

Vmap test
Stricter property completeness.
Merge pull request #45 from bjlittle/completeness

Stricter property completeness.
first cut
tweaks to first cut
some steps
step two
moq removal
queries removal
bug fix
minor rev
editor bug fixes
test fixes