fixed in-context type annotations of shadowed bindings