* More true/false normalization. * Boolean do not need explicit choices. * One more. * Fix type argument.