Construction types implemented in Zolote