Properly distinguish trace traps from exception traps. Resolves #135