Rudimentary implementation

Adds an identify_recursive_static_params; doesn't handle all shadowing cases yet

examples/hello_world/validators/hello_world.ak

@@ -21,3 +21,32 @@ validator {
     must_say_hello && must_be_signed
   }
 }
+
+type ABC {
+  a: ByteArray,
+  b: Int,
+  c: ByteArray,
+}
+
+type XYZ {
+  a: ByteArray,
+  b: ByteArray,
+  c: ByteArray,
+  d: Int,
+  e: ABC,
+}
+
+fn recursive(a: ByteArray, b: Int, c: XYZ, d: Int, e: Int) -> ByteArray {
+  if c.e.a == "a" {
+    "d"
+  } else if b == 0 {
+    a
+  } else {
+    recursive(a, b - 1, c, d, e)
+  }
+}
+
+test hah() {
+  expect "a" == recursive("a", 30, XYZ("", "", "", 1, ABC("", 1, "")), 2, 5)
+  True
+}