NEGD
fix GED
enable binary ops in unary +
detect sign of seq, and assume sign is ok on +(exp)
detect unary - type