rework CS0030
initial type cast checks
highlight explicit cast