feat(kernel/type_checker): finish is_convertible predicate

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>