Global type lookup in observer
-observer now recognizes types of global variables