Add support for constraint checking

[Samuel-Tyler]

Should be template parameter for type. Should start with simple constraints (length, value range).