extract stdlib
add intset example
add refs