Make BlackBoxes for Signed `maxBound` and `minBound` declarations

Fixes #19
Adapt 'FixedS.hs' test so that it also tests #19