Header File for Skip List ADT