kind checker should also check type instantiations #2011
Description
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.
