Construction types implemented in Teple