remove unneeded import

theories/typing/type.v

 From gpfsl.lang Require Export notation.
 From gpfsl.base_logic Require Export na.
-From gpfsl.logic Require Export na_invariants view_invariants.
+From gpfsl.logic Require Export na_invariants.
 From lrust.lifetime Require Export frac_borrow.
 From lrust.typing Require Export base.
 From lrust.typing Require Import lft_contexts.