add open-collection-path menu item to the no-frames-around
menu bar under mac os x
use the enumerator in a new option to redex-check
Make thread cell top type consistent with docs