A growing graph theory library engineered from the first principles of Dots and Lines