Comment by didip

So, is there a compile step to catch all of the type errors (and hopefully to perform AOT optimization later)?