Add tests for badarith case and a non-extended type that results in an error config.