Construction types implemented in Reia