feat(kernel/error_msgs): add error message for unsatisfied level constraints, remove messages for dependent pairs

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(kernel/type_checker): add infer_type

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
refactor(kernel): remove normalizer

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
chore(kernel/type_checker): fix style

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