Since there are two more types in Tiger, the enum and the annotation types,
maybe getSuperClass and getGenericSuperClass should mention those types because right now it talks about only class, interface, primitive type or void.