this is added for completeness' sake since all the other possible `builtins.typeOf` results have a corresponding `builtins.is<Type>`