Construction types implemented in Tupychiv