Add checks that types aren't used as resources and vice versa via labels.

[typeswitch-dev]

Requires that only resources be used in resource labels, only value types be used in value labels. Adds a test.