HumanReadableExpr: toString conversion