@[to_additive] attributes for basic types