core: remove unused superkind table from language profile
core: thread contexts when checking type sums
core: make new existentials for kind holes
core: solve existentials in type/type application