Realigned type translation and term translation.  Added anonymous sum and rec support.