Small changes.

Added in some comments and moves InformedSearchType to its own file.