Merge remote-tracking branch 'origin/pvj/main' into assistant-rewrite
Remove ABooleanPatternAssistantTC as it was an empty class. No methods inside.
Cleaning up assistant's methods.
Changing to non-static access of methods.
more non-static access of methods changes.
more non-static changes.
Also some commenting out of unused methods in assistants.
more non-static access changes.
more changing of static access.
clean up on assistants
non static access changes.
non-static access changing methods.
remove static identifier from method unresolve on PPatternAssistantTC.
Clean up, missed commented out methods.
remove more static access.
more non-static access changes.
new visitor NumericFinder
new visitor NumericBasisChecker(unfold Level 1)
NumericBasisChecker (level 2 unfold)
Small changes
changes to assistants for static calls.
Clean up and minor changes.
Merge remote-tracking branch 'origin/pvj/main' into assistant-rewrite

Conflicts:
	core/interpreter/src/main/java/org/overture/interpreter/assistant/pattern/ABooleanPatternAssistantInterpreter.java
	core/typechecker/src/main/java/org/overture/typechecker/assistant/ITypeCheckerAssistantFactory.java
	core/typechecker/src/main/java/org/overture/typechecker/assistant/TypeCheckerAssistantFactory.java
	core/typechecker/src/main/java/org/overture/typechecker/assistant/definition/AEqualsDefinitionAssistantTC.java
	core/typechecker/src/main/java/org/overture/typechecker/assistant/definition/AExternalDefinitionAssistantTC.java
	core/typechecker/src/main/java/org/overture/typechecker/assistant/definition/AInheritedDefinitionAssistantTC.java
	core/typechecker/src/main/java/org/overture/typechecker/assistant/definition/AMultiBindListDefinitionAssistantTC.java
	core/typechecker/src/main/java/org/overture/typechecker/assistant/definition/AValueDefinitionAssistantTC.java
	core/typechecker/src/main/java/org/overture/typechecker/assistant/pattern/AConcatenationPatternAssistantTC.java
	core/typechecker/src/main/java/org/overture/typechecker/assistant/pattern/ARecordPatternAssistantTC.java
	core/typechecker/src/main/java/org/overture/typechecker/assistant/pattern/ASetPatternAssistantTC.java
	core/typechecker/src/main/java/org/overture/typechecker/assistant/pattern/AUnionPatternAssistantTC.java
	core/typechecker/src/main/java/org/overture/typechecker/assistant/pattern/PPatternListAssistantTC.java
	core/typechecker/src/main/java/org/overture/typechecker/assistant/type/AProductTypeAssistantTC.java
	core/typechecker/src/main/java/org/overture/typechecker/assistant/type/ASetTypeAssistantTC.java
	core/typechecker/src/main/java/org/overture/typechecker/assistant/type/AUnionTypeAssistantTC.java
	core/typechecker/src/main/java/org/overture/typechecker/assistant/type/SSeqTypeAssistantTC.java
	core/typechecker/src/main/java/org/overture/typechecker/utilities/DefinitionEqualityChecker.java
	core/typechecker/src/main/java/org/overture/typechecker/utilities/DefinitionTypeFinder.java
	core/typechecker/src/main/java/org/overture/typechecker/utilities/DefinitionTypeResolver.java
	core/typechecker/src/main/java/org/overture/typechecker/utilities/FunctionChecker.java
	core/typechecker/src/main/java/org/overture/typechecker/utilities/ImplicitDefinitionFinder.java
	core/typechecker/src/main/java/org/overture/typechecker/utilities/NameFinder.java
	core/typechecker/src/main/java/org/overture/typechecker/utilities/UnusedChecker.java
	core/typechecker/src/main/java/org/overture/typechecker/utilities/UpdatableChecker.java
	core/typechecker/src/main/java/org/overture/typechecker/utilities/UsedChecker.java
	core/typechecker/src/main/java/org/overture/typechecker/utilities/VariableNameCollector.java
	core/typechecker/src/main/java/org/overture/typechecker/utilities/expression/ExportDefinitionFinder.java
	core/typechecker/src/main/java/org/overture/typechecker/utilities/expression/ImportDefinitionFinder.java
	core/typechecker/src/main/java/org/overture/typechecker/utilities/pattern/AllDefinitionLocator.java
	core/typechecker/src/main/java/org/overture/typechecker/utilities/pattern/PatternResolver.java
	core/typechecker/src/main/java/org/overture/typechecker/utilities/pattern/PatternUnresolver.java
	core/typechecker/src/main/java/org/overture/typechecker/utilities/type/ConcreateTypeImplementor.java
	core/typechecker/src/main/java/org/overture/typechecker/utilities/type/FunctionTypeFinder.java
	core/typechecker/src/main/java/org/overture/typechecker/utilities/type/NarrowerThanComparator.java
	core/typechecker/src/main/java/org/overture/typechecker/utilities/type/PTypeFinder.java
	core/typechecker/src/main/java/org/overture/typechecker/utilities/type/PTypeResolver.java
	core/typechecker/src/main/java/org/overture/typechecker/utilities/type/SeqBasisChecker.java
	core/typechecker/src/main/java/org/overture/typechecker/utilities/type/SeqTypeFinder.java
	core/typechecker/src/main/java/org/overture/typechecker/utilities/type/TypeEqualityChecker.java
	core/typechecker/src/main/java/org/overture/typechecker/utilities/type/TypeUnresolver.java
resolved conflicts after merge with Peter.