Construction types implemented in Riasne