Type specs for setpriority/getpriority