refactor(kernel/error_msgs): remove dead code

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(kernel/error_msgs): improve application type mismatch error messages

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(kernel/error_msgs): improve application type mismatch error messages