update isoftype to cast the variable typing like instanceof does

[OfirArviv]

so the type checker knows that if we passed that function the type of the var is as mentioned. instanceof function have that effect.