A basic library of algorithms and data structures (a la NJlib)