Relations type-declaredinterface, type-declarationinterface+ and
type-declaredsuper.