Simplified definition of boolean in Prelude