A Javascript general-purpose library (used by Bender a.o.)