Static semantics for syntax objects