Added Dmitry's conspects and raigor sex support

Dmitry's conspects were those for group theory (only the last example,
to be just), formal langs and differential equations.