Added specializations True and False and specialized types_t.
Added checks for True and False.