Added explicit search feature. Renamed and refracted all typedef enums.
Fixed plural form of Formula on search box.