Forbid Require inside interactive modules and module types.

Fixes #3379 and part of #3363. Also avoids fragile code propagating required
libraries when closing an interactive module.

Had to fix a few occurrences in std lib.
Document 6d5b56d971 (forbid Require inside modules).
Adding a small lightweight thread library.
STM in LWT.