Weight-biased leftist heaps

Standard implementations in Haskell and Agda, part of dependently
typed implementation in Agda
More work on dep-typed weighted heaps