update instructions for more recent versions of DrRacket
treat identifiers as value expresions for inferring polymorphism

Also, document the grammar of value expressions, and allow `hash'
constructions as values.
fix docs to say that `values' produces a tuple, etc.
fix quote for submodules paths in `plai-typed/untyped'