weight biased leftist heap (aka z15) implemented