ADDED: sign/1 is now reifiable.
This addresses
@@ -3542,6 +3542,7 @@ parse_reified(E, R, D,
m(msb(A)) => [function(D,msb,A,R)],
m(lsb(A)) => [function(D,lsb,A,R)],
m(popcount(A)) => [function(D,popcount,A,R)],
+ m(sign(A)) => [function(D,sign,A,R)],
m(A<<B) => [function(D,<<,A,B,R)],
m(A>>B) => [function(D,>>,A,B,R)],
m(A/\B) => [function(D,/\,A,B,R)],
