Added global context

It is readable. I could add a comment that the NIL value type