Merge remote-tracking branch 'origin/development' into newpog
Merge remote-tracking branch 'origin/symphony/development' into newpog
Merge remote-tracking branch 'origin/ldc/astntrw' into newpog
Kill a stray file
implemented default case of AllValuesCollector where no bind could be obtained
Merge commit '75be1d2e68d3bb71df7ec757586201a01a78537d' into symphony/development
Merge remote-tracking branch 'origin/newpog' into symphony/development
Merge remote-tracking branch 'origin/ldc/astntrw' into symphony/development
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
fixed issue where the assistant factory in the interpreter was hardcoded as a final value. This made it impossible to do any extensions to the interpreter that e.g. used functions.
Removed unused Invocation Assistant stuff.
Remove static initializers in assistant factories.
Expose MapPatternMaplet in factory interface.

Added createAMapPatternMapletAssistant() method that was
already available in the interpreter factory cass but not
its interface.
Remove deleted invocation assistant stuff.
Remove static assistant calls.

Replace them with factory-based invocations.
Remove static modifiers from assistant methods.
Merge remote-tracking branch 'origin/symphony/development' into ldc/astntrw