Convert define module to F# and convert to light syntax by hand.
Convert define module to F# and convert to light syntax by hand.

Signed-off-by: Eric G Taucher <3582ef03349ad3c7bcbea5a93302c2508d01c2b8@gmail.com>

jack-pappas/NHol