add document of DSL default_not_null