Fix basic set notation hints

Auditors: eater, cbhl