Add a more recent set of priorities
Add more rough ideas
Add more editor ideas
Add note about HOL without types