Categories within EMH

Types within EMH