Construction types implemented in Sytniaky