Jane Street tests for more complex record syntax: with combined with module scope