The main class here is the Searcher, which coordinates various Binders and notifies a Finder once a suitable binding of a Searchable is found. Then Executables are built from the Occurrences that are involved in the binding.
All classes in this package are expected to be called within simulation threads.