Added quote work on new strategy for code generation of quotes
changes to have an object narrower to thread type for the .start() to be invoked.
+ the check when the narrow is needed.
+change to the template calling the new JavaFormat method.
Merge remote-tracking branch 'origin/pvj/quotes' into pvj/main

Changed the way that quote values and quote types are generated.

Conflicts:
	core/codegen/src/main/java/org/overture/codegen/vdm2java/JavaCodeGen.java
	core/codegen/src/main/java/org/overture/codegen/vdm2java/JavaFormat.java
Updated the Java code generator plugin to work with the new strategy to code generating quotes
Merge remote-tracking branch 'origin/gk/codegenconc' into pvj/main

Conflicts:
	core/codegen/src/main/java/org/overture/codegen/vdm2java/JavaFormat.java
Updates to test results related to generation of the equals and not equals binary expression
Added test revealing problem with generation of the equals binary expression when comparing optionally typed numbers that are nil
Fix for problem with optionally typed numbers when comparing them using the equals and not equals binary expression
Added Java codegen runtime implementation of the echo operation
Added test revealing problem with the conversion between sequences and strings
Added string for the transformation that converts between sequences and strings
Minor updates to test results related to generation of the field number expression (tuples)
Minor fix to the Java codegen runtime represention of the echo operation
Improved Java code generation of the field number expression (tuples)
Updated the tuple compatibility check to handle seq-string and string-seq comparison
Updated the methods that convert between sequences and strings in the Java codegen runtime to take any input
Updated the sequence conversion transformation to handle the field number expression