Use completion value records for exception handling.

Closes #6.