This fixes SBML-qual export, now the result validates against http://sbml.org/Facilities/Validator/index.jsp
We also now have a model-options page save/load system.
Also, binary models are supported as a subset of ternary models, through the inclusion {0,1}⊂{0,1,2}. This applies to loaded SBML-qual models. (Update function for binary models is `min(1,f(x))` where `f(x)` was the binary update function.) Otherwise, you are on your own to cook up such a model.