This pull request adds tests for all methods for Kernel module. And it updates some types because they are wrong. I gave up writing tests for some methods, because they are difficult. But test_* me...