Add numeric checks for framework constants

[bocchino]

For example, FW_FIXED_LENGTH_STRING_SIZE should be in range for a valid string size. Right now we're just checking that it's an integer.

• Update spec
• Update wiki
• Implement and test semantics