Implement Popova presentation for symmetric inverse monoid

[james-d-mitchell]

There is a presentation for the symmetric inverse semigroup described here, which extends the Moore presentation for the symmetric group. The original (Russian) source is item [28] of the linked paper's bibliography.

[james-d-mitchell]

This was really done by @MTWhyte not sure why I'm listed as opening this...