An attr macro for attributes with default values.