gras: virtual destructors for all but Element #67
gras: fix #66 with less lazy flush_all for input queue
Merge branch 'master' into query_work