Scope and type rules