let's say I want to add property access syntax to map, a la groovy, so that map.key == map["key"]. there's no way to call that method with type checking enabled. there are other use cases for it though, specifically in DSL/scripting, but that's the idea