introduced type alias DigitalOutX for GPIOX pins