Remove use of tagged type for Size.