fix(kernel/constraint): bug in operator<<
feat(kernel/converter): relax is_def_eq test for local constants and meta-variables
feat(kernel/converter): relax is_def_eq test for local constants and meta-variables