Types within GIDDING AND LEWIS