I've tried every variation I can think of to get an 8-char transaction type checked to be one of a string of values and nothing compiles, shortened version but neither variations on...

constrain sPOSTranList contains transac.type

even...

Constrain "SALE |CHARGE |DROPSHIP|SPECIALO" contains Transac.type

will compile. The reason this was not hard coded is that the list is loaded from a table according to different circumstances