Module type annotations now allow imports/exports that return structure types.