update the definition of equality over type level integer.
we can promote and compare on list of integers.
add execution instruction.