Add Jsont.{invalid_def,undef}.