Construction types implemented in Stepanky