Clarification on type piracy

[kristoffer.carlsson]

Having local implementations is not type piracy, see the “extending or redefining” part.