Categories within WHIL

Types within WHIL