A little bit of an update, I talked about the actual extensions, they are going to remove the type intercepting one, replacing with special annotation instance which can participate in type checking (checking annotation equality + usual types).
call interception still going to be there.