Construction types implemented in Farynky