Added rules for true? and false?

Instead of (= true ?x), consider (true? ?x). Same for false?