Construction types implemented in Terlo