Construction types implemented in Modrychi