Types within Tramac