Construction types implemented in Prosiane