Fix exports typos
Fix bug in getvartype
Allow non-int bounds in MIP solver

fix #5