Show human forms of Combined/Comparison predicates on graph labels

Previously they showned objectect representations, which was a lot less useful.

It's real hacky doing it this way, but this was making quite a few graphs unreadable.

This fixes it for now, but this behaviour should proabbly be pushed down into
Smartdown and the predicates themselves