sketch of name binding for Stratego