Added operator Proj to Model class. Uses an Opt called State to construct the projector onto the nth state.