Better type checking : More nodes, Inferrence and Coercion

[ykafia]

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