Feedback from Peter: 1) Orangecrab displays inverted colors to names of colors represented in code 2) LED is drive by `Bool` type, whose semantic meaning does not make a lot of sense for a LED that is inversely driven. Switch to `Bit` or custom data type