No mentions to report in SUPPORTjlc
suptype	Def S T == T S
subtype	Def S T == x:S. x T

Syntax:

S T

has structure:

suptype(S; T)

About: