Construction types implemented in Symoniv