Construction types implemented in Lypa