Variable type mismatch checking