A typeentry has a pointer to a type descriptor. The type descriptor gives a complete
description of one type. Here variables of integer type are described as requiring two bytes. The tag "integer" distinguishes this kind of type record from others describing
such things a Booleans, Arrays, etc.