Add srepr printer for S.true and S.false
Make S.true and S.false print as True and False

The names true and false are still in the namespace. The only thing that's
changed is the printing.