Version bump to 0.7.1
explicitly require Set to fix #1