Revert trunk@13070 as the performance of Printf formats are now just as good
typecore.ml: fix format's expected-type mistake