Trinary Rust types for trinary and epistemic logic. NOTE: This is just an experiment! Based on TriState code base.