fix docs: `modulo' instead of `remainder'
typecheck body of `module+'