Typeinfer-C. This is a small demo program to experiment with type inferring and showcase a recursive algorithm for complex type inference