Merge pull request #3 from saep/master

Extended types
Adds extension type to Quick-Check test
Add constructor for fixed integer sizes

* Removes a little automatic size conversion convenience which now
  requires use of exlicit functions (integerValue, fixIntValue, anyValidFixInt)