specs: add types for file descriptors

Distinguish fd's and sets of fd's from other lists of integers.