Dependently-typed weight-biased leftist heaps