Minor search ui changes

This comprises the following changes:
- Type fixes around the entire codebase.
-  A better search algorithm prioritizing course numbers and sections
- A close button for the search button.

Unfortunately, the git history was lost when I manually moved the changes from the old repository to the new one.