More unit tests, including signals tests

Now we can use fiveam to check to see if certain cases raise errors

Add more type declarations, and run time bounds checks, so we raise type errors for out of bounds integers in binary conversions

Extend test cases to check for such errors. (I found some bugs!)