Construction types implemented in Bonduri