Missing validation for number values

[joeseibel]

NumberValue objects are not checked against their type's lowerBound or upperBound.

The following example should produce an error:

property set ps1 is
	def1: aadlinteger 5 .. 10 applies to (all);
end ps1;

package pkg1
public
	with ps1;
	
	thread t
		properties
			ps1::def1 => -8;
	end t;
end pkg1;