fix zHEAP_isNumber
fix some zHEAP ref theorem