Type parsing workaround (#18)

Author: lorchrob

src/main/java/edu/uiowa/cs/clc/kind2/results/Type.java

@@ -34,9 +34,12 @@ public static Type getType(String type)
       case "int16":
       case "int32":
       case "int64":
+      case "subrange":
         return new Int();
       case "real":
         return new Real();
+      case "array":
+        return new Array(new Bool());
       default:
       {
         if (type.matches("subrange \\[.*?\\] of int"))