Fix to miplib trick to make it less "cautious" and apply in more cases
remove now-unnecessary wrappers from Type interface
Merge branch '1.0.x'
Fix a compiler warning in NodeBuilder