Add a simplification pass on the rich language