Types within MURATEC