Categories within MCRL

Types within MCRL