Add type modifiers tests

This adds tests for valid/invalid type modifier combinations and
validation for values based on type modifiers.

The tests cover #83 and #51.

With everything now tested, #51 is closed.