mysql-intermediate-type