Construction types implemented in Synkiv