We currently don't do any "home-grown" type checking in censored. But maybe we should add type-checking.