Transform not #f values to #t in Boolean contexts

During the optimization, transform not #f values to #t phase in the Boolean contexts. Also, replace the expressions with type information (predicates) with #t.