sign
====

Arithmetic over signs (i.e. {-,0,+}) and sets of signs