Add leftist heap, lint code