Construction types implemented in Diakiv