add isempty methods; tweak printing for problem sense in show(model)