revised type coercion analysis + small fix in type inconsistency analysis