Construction types implemented in Bodnariv