Comprehensive test for interpreter, new global input type info tests, support match on all types, restricted global variables and other fixes

golem-api-grpc/proto/golem/rib/expr.proto

@@ -203,6 +203,8 @@ message ArmPattern {
     ConstructorArmPattern constructor = 3;
     LiteralArmPattern literal = 4;
     TupleConstructorArmPattern tuple_constructor = 5;
+    ListConstructorArmPattern list_constructor = 6;
+    RecordConstructorArmPattern record_constructor = 7;
   }
 }
 
@@ -224,6 +226,20 @@ message TupleConstructorArmPattern {
   repeated ArmPattern patterns = 1;
 }
 
+message ListConstructorArmPattern {
+  repeated ArmPattern patterns = 1;
+}
+
+message RecordConstructorArmPattern {
+   repeated RecordFieldArmPattern fields = 1;
+}
+
+message RecordFieldArmPattern {
+    string name = 1;
+    ArmPattern pattern = 2;
+}
+
+
 message LiteralArmPattern {
   Expr expr = 1;
 }