An error should be reported if a symbol is used as a type where it only has a value binding, and vice versa.