[jhc] darcs patch: implement grey set as stack rather than ... (and 6 more)