feat(/kernel/type_checker_justification): Better error messages for type mismatch in application.

Fix formatting, correct primes (broken for testing error messages).