- bundle kernel types into tch_kernel.h