Is "natural types" a common term used in programming language theory? I haven't heard of it before. I tried to search it but found nothing.