Change types in Minisat interface to raw C-types

Somehow it doesn't work with newtype wrapped types