Subtract

Defines the - operator with independent right-hand and result types.

Concrete integer conformances use the language's trapping arithmetic contract; wrapping or checked behavior is exposed by explicit Int methods instead.