Add tests for typed KC.