Move 'open' declarations inside the modules nested within the NHol.Logging module so they're available even when running under FSI.