Types within Imeca