Enabled interpretation of type binds e.g. i : int

The generation is controlled by:

Properties.numeric_type_bind_generation;
Properties.minint;
Properties.maxint;

accessible from the launch configuration in the IDE. This is disabled by default.
Merge remote-tracking branch 'origin/symphony/development' into kel/astv2

Conflicts:
	core/interpreter/src/main/java/org/overture/interpreter/utilities/type/AllValuesCollector.java
excluded the soccer tests from model checker (prob) it doesnt work