added testcase for linearization with HOAS

testsuite/runtime/linearize/Test.gf

@@ -0,0 +1,9 @@
+abstract Test = {
+
+cat P ;
+cat E ;
+
+fun Exist : (E -> P) -> P ;
+    Even  : E -> P ;
+
+}