fix logic err in Arithmetic<> concept check
made concept check SequenceAlignmentCost<> a function of both candidate type and a sequence type, which is cleaner and better captures the correct type relationships