Categories within LUCA

Types within LUCA