Ah, that's interesting.  Why is that?  I can't immediately see a
theoretical blocker.  There's a practical one, of course: strict
bindings are not allowed at the top level either, I guess to prevent
infinite loops.  Seems strange though.  Does OCaml not allow defining
constants at the top level?