Simplify conditional expression internals

[mosteo]

The complex set of generic instances in use over each platform enumeration made sense to make the old Ada index fully type checked at compile time. There is room for significant simplification without affecting functionality or checks that would simplify maintainability.

Low priority for a boring afternoon.