removed upper bounds on deps

Also added Applicative and Functor instances to the UI monad and made
some small changes to SevenGuis