Navigate receives the current State and keyPress, and returns the new State.

NewSearch creates and returns a new search model with the default settings.

Search represents the current search.

State tracks the current buffer, page, and total number of slides.

Model is an interface for models.model, so that cycle imports are avoided.