support MINLP through MPB

by multi-dispatching on the existence of variable types in
loadnonlinearproblem