Prelude, Vim.Message: move print_error's spec as well