Put full Copyright & LICENCE on each source file
Tighten wording of TriBoolean documentation
Make AnalogyImplication an extension of Implicable
Complete initial documentation of tribool