t(1;3)(q15;p13)   ==> t([int], [int])([p|q][int], p|q][int])
inv(1)(p13p11.1)  ==> inv([int])([p|q][int][p|q][int])
+3                ==> +[int]