allow `module' submodules
add `plai-typed/untyped'
fix docs to clarify interaction of `set!' and polymorphism