Types within GLS