Construction types implemented in Ripky