support for local spec
choose when eq
rename makeHints'
FAILING TESTS module naming?
fix failing tests: local specs may refer to imported modules
minors
all tests pass
inModule -> modElem
Merge pull request #128 from ucsd-progsys/localSpec

Local specifications