test(kernel/typechecker): type checker

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
test(kernel/typechecker): type checker