More types in kernel