[spion]

There is no native type system.

Native objects can never be null. If its an object, it already isnt null. Functions，property accessors etc. can return Node or null or undefined, which can be modelled accordingly on a per-function basis