All Constructors
Removals
Additions
Changes
Bold is New, strike is deleted


T  TOP
Term (Term) constructor
Triple (Triple) constructor