Added set intersection and difference operations and menu. fixes #725.