Add super-interesting NatEquality problem