"nearly working" gurobi interface

I've written everything for the example, but still have numerous issues related to typechecking; just wanted to check in before I get too far astray.