I walk through the type inferencing engine in the new JVM language: Mirah