Alternative Semantics

• [[$P$ |- module I={D}: {I:$P$$$₁dec}dec]]$e$ $s$ =
      ({I=$e$₁}, $s$₁)
          where ($e$₁, $s$₁) = [[$P$ |- D: $P$$$₁dec]]$e$ $s$
• [[$P$ |- import I: $P$$$₁dec]]$e$ $s$ = ($e$₁, $s$)
      where (I=$e$₁) in $e$

Eager evaluation allocates storage when module is defined.