-Preliminarily working purely eager version of for-all
-Removed a lot of related stuff for unification support
-Renamed :get keyword to :collecting to clarify
-lookup now optimally handles ideal indices
-decide-index now returns two values; the available best index and the ideal index
-Added notes to README