Construction types implemented in Hreblia