Another Day, Another Set Up

Added problem-type verification; got rid of objective function for
problem initialization, (now mainly intended for use with cplex/gurobi).