Tidy up educe.util.mk_interesting
Python 3 bugfix (map is now an iterator)