Rename KleenBoolean and LukasiewiczBoolean to have Tri in the name