Better key binding definitions

And updating them to the latest prelude.