Categories within MIR

Types within MIR