Definable Additive Categories: Purity and Model Theory