Special-case None priority in place of -1

This extends priorities in both directions, uses slightly faster `is None` 
check, makes it consistent with `interval` special-casing also to `None` and 
makes lint able to use one simple `.type()` check in place of `.either()` one.