Construction types implemented in Syniak