What operating system are you using ?
Did you download ad uncompress the Arduino zip file ?
HardwareSerial is part of Arduino core libraries.
Where did you read about UART.read() ?
Also, if you're thinking about using a software serial implementation, why are you looking for a hardware serial library ?