Adds the beginnings of the type hierarchy mechanism.