Type ornaments (Type evidence)