Add note about no sharing between top-level and let-bound type variables