Remove ExVM, add Prismo, and update some descriptions.