Type checking is fairly limited at the time of writing of this issue, it should include type coercion and type inference.