model: Add support for None to the type checker
For the sake of completeness (a future commit may depend on it).