fixes typo in DataImage
fixes global annotations
adds Highlightable trait
refactors how options in OptionList are focused / selected
re-adds failsafe to OptionList for when previous focus or active option does not exist when setting a new