Added reduction of terms and rendering of reduced terms