fix `module+' type checking to propagate types across instances

For example, `(module+ test (define x 0)) ... (module+ text x)`
works.