Construction types implemented in Semymohyly