Construction types implemented in Pinchuky