Further pushing/iteration tweaks

Document contract of pushJsonbValue().  Simpler type tie-breaking within
compareJsonbSuperHeaderValue().