kind checker should also check type instantiations

[marijnh]

It is currently possible to instantiate a type that takes a <T: copy> type parameter with a noncopyable type. This can be used to circumvent the kind system. Should be relatively straightforward to check.