is it common/allowed to have set types instead of the A/B/C symbols? or the A/B/C simply implies the sets differ, because functions did something to them? I mean - can you write N, R, C... ?

otherwise - very very very neat explanation, thanks a thousand times.