Removed separate SkipList module.