Fix booleans example.
Be a bit less stupid about when to generate non-canonical instances.