If the runtime is going to be fully ignoring these type annotations, what type of "bloat" are you worried about?