Wingman generates bool backwards

[isovector]

Wingman gives the following solution for bool:

bool :: a -> a -> Bool -> a
bool _ a1 False = a1
bool a _ True = a

A more natural solution is to swap the True and False, so that the as are used in the same order as the data constructors.

[isovector]

But on the other hand, it generates ifThenElse the correct way around, so there is probably no sense in keeping this bug around. It's always going to do the wrong thing in some case.