[design] typetag moved among other tags