Type can be in parentheses

src/qir/parser/Parser.java

@@ -746,6 +746,10 @@ public class Parser {
 			res = RecordType();
 		} else if (la.kind == 39) {
 			res = ListType();
+		} else if (la.kind == 18) {
+			Get();
+			res = Type();
+			Expect(20);
 		} else SynErr(62);
 		return res;
 	}

src/qir/parser/qir.atg

@@ -193,6 +193,7 @@ NonFunctionType<out QIRType res> =											(. res = null; .)
 ConstantType<out res>
 | RecordType<out res>
 | ListType<out res>
+| "(" Type<out res> ")"
 )
 .
 

src/qir/parser/test.qir

-(fun : { x:int ; y:list[string] } x -> x) @ [ { x = 2; y = 3 + 4 } : { x : int; y : int }; [ "toto" ] : list[string]; (fun : int -> int x -> x + 2) ]
+(fun : { x:int ; y:list[string] } x -> x) @ [ { x = 2; y = 3 + 4 } : { x : int; y : int }; [ "toto" ] : list[string]; (fun : int -> (int -> int) -> int x -> x + 2) ]