TypeHinter: infer Restafarian "checkbox" type using model validator