Added exceptions that clean up their relevant expressions.
Debug printouts.
Formatting changes.
Errors for resolving identities.