String literals

[Rohan Drape]

> While for finite signals both have meaning, ie.
> 
>  [1,2,3] >  [1,2,1] == True
>  [1,2,3] >* [1,2,1] == [False,False,True]

Also, as the signature I gave implied,

  [1,2,3] >* [1,2,1] == [0,0,1]

And ifE etc., all as described in the paper I mentioned without
referencing:

 'Compiling Embedded Languages', Elliott, Finne and de Moor, 2000.

I suspect this is well trodden ground, but I can't find the 'why is it
so' writeup.

Thanks,
Rohan