Total rewrite of TriBool

No longer path dependant types ad infinitum