Construction types implemented in Smotrych