Construction types implemented in Oliiv