Categories within GCH

Types within GCH