Exploration can now explore empty types
Merge branch 'master' of https://github.com/crypto-agda/explore

Conflicts:
	lib/Explore/Sum.agda