Boolean values should be constructors rather than special literals

[jamesfer]

Numbers need a special literal format in the parser because there are an infinite number of them. Boolean values only have True and False and should therefore be data constructors in Prelude