[gambit-list] C interface: wrong types generated?