Cleaned up/reorganized errors a bit.
Minor cleanup.
Minor cleanup.
Added debug mode to the translation semantics.