Construction types implemented in Zamok