Construction types implemented in Zapson