Categories within IR

Types within IR