Removed top-level module name "Thesis"; added example about binomial heaps.