@ben-cohen
First of all thank you for your effort.
As you say in your last sentence, all this is fine (or at least ok) for the compiler, but it is too complicated for human readers. When I browse through source code, I don't have the luxury to look at compilation warnings, I just need to quickly understand the logic. If it is more than 2-3 simple lines of rules, the mental effort is too big.