Using same typing rules for local and global assignments