Types within CGJ