Trap typecheck exceptions and don't print stack traces