MATH 239: added maximum/maximal matching definitions.
MATH 239: a few more minor rewordings.