chore(kernel/type_checker_justification): fix style
chore(kernel/type_checker_justification): fix style

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

codyroux/lean0.1,codyroux/lean0.1,codyroux/lean0.1,codyroux/lean0.1