I have no clue what you mean by unified, I simply think things should have unambiguous types period