Categorize hard-to-represent tasks

[WeetHet]

Sorting tasks are fine, they pose no significant difficulty, see #18 for an example that verifies (the code contains a SortSeq method you can use)