use `parameter`-notation in docstrings
move Mapping-detection forward in _Varstraint()._coeffs method
fix nonzero element counting in MILProgram().coeffs and complete its doctest