Added test 13
Added check that all numerical types have a range constraint ; fixed
test13 accordingly