Types within Nitec