Added tests for base tribool
Removed string-related warnings + updated tests