Highlighting correct and incorrect typing