The instance of operator tests if an item is
an instance of a given type (or is derived by restriction from it):
$div instance of eg:Chapter
returns true if $div is a chapter.
5 instance of xs:decimal
returns true because 5 is an integer and integers are a restriction