Observe parens when resolving type operators

Fixes #254

src/Cryptol/ModuleSystem/Renamer.hs

@@ -416,7 +416,7 @@ rnType isProp = go
     TLocated t' r -> withLoc r
                  $ TLocated <$> go t' <*> pure r
 
-    TParens t'   -> go t'
+    TParens t'   -> TParens <$> go t'
 
     TInfix a o _ b ->
       do op <- renameTypeOp isProp o

src/Cryptol/TypeCheck/Kind.hs

@@ -273,11 +273,11 @@ doCheckType ty k =
     P.TUser x []    -> checkTyThing x k
     P.TUser x ts    -> tySyn False x ts k
 
+    P.TParens t     -> doCheckType t k
+
     P.TInfix{}      -> panic "KindCheck"
                        [ "TInfix not removed by the renamer", show ty ]
 
-    P.TParens{}     -> panic "KindCheck"
-                       [ "TParens not removed by the renamer", show ty ]
 
   where
   checkF f = do t <- kInRange (srcRange (name f))