Subtracts the rhs number from the lhs number
t() :: term
sub(t, t) :: t
Subtracts the rhs number from the lhs number.