polymorphism progress
isLambdaBound, but it doesn't do what I want.
removed isLambdaBound, reverting to isLocal
swap examples, getting at polymorphism issues