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
cabal
anf
make it compile
Merge pull request #130 from ucsd-progsys/henning

Henning