A ground up rework of the module system in racket. Separates values from options allowing for:

1. cheap and correct diagnosis of almost all errors (no more clueless infinite recursion).
2. a working prototype booting a real vm.
3. hole-driven developement: start a repl with a missing computable configuration value, be dropped into a repl with required (depended on configuration in scope), dynamically calculate the computation body and move on.