Construction types implemented in Tauzhne