title: Rename a column in mysql table without having to repeat its type definition
body: <p>Is it possible to rename a column in MySQL without having to repeat its type definition?</p>
  
  <p>Please without having to hack into information_schema.</p>