Display names for li and zeta
Fixed some issues with evaluation of conjectures