Initial commit

Initial implementation of heaps in Haskell and Agda, readme+license