Construction types implemented in Krysky