Add design decision about freestanding impls