Add Signed and TruncatedDivision typeclasses

[denisrosset]

This follows the Spire implementations as well (we just put Sign into the Signed companion object).

We added the missing companion object functions.