Construction types implemented in Teresva