Why use int instead of byte for pin numbers?

I think it's fair to say that the Arduino is designed for and marketed towards people who don't know any better. Obviously there are people here who can see ways to improve the development environment, runtime library (and its documentation) and the hardware. (No matter how good it was, that would always be the case.) But these are not the people that Arduino targets.