Documentation Bug: mkset takes two arguments

[mhirsch]

Here in this docs, mkset is defined as mkset l.
However, here mkset is defined as mkset eq l, where it takes a comparison equation. mkset does not work in nip2 without the equation argument.

[jcupitt]

Fixed! Thank you very much Matt.