Implement kind checking during word elaboration.

[typeswitch-dev]

During word elaboration, the elaborator should verify that types are actually types and are fully applied, resources are actually resources, etc.