start of a standard lib of useful concepts