Changes

Summary

1. Convert map/seq apply argument types, fixes #764 (commit: 8c9fc42) (details)
2. Make thread operations public and check access, fixes #765 (commit: 77e66ac) (details)
3. Use correct error location for ambiguity errors, fixes #767 (commit: 6206481) (details)

Commit 8c9fc42401d8cdf21c9a146c93a60dab2ad828fc by nick.battle Convert map/seq apply argument types, fixes #764 (commit: 8c9fc42)
	core/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java (diff)
Commit 77e66ac8080e36977e5e54cbbfd329e265acbec3 by nick.battle Make thread operations public and check access, fixes #765 (commit: 77e66ac)
	core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerDefinitionVisitor.java (diff)
	core/ast/src/main/java/org/overture/ast/factory/AstFactory.java (diff)
	core/typechecker/src/main/java/org/overture/typechecker/assistant/definition/AExplicitOperationDefinitionAssistantTC.java (diff)
Commit 62064812412ce24eaa2072420aa77ab0aa0d57fe by nick.battle Use correct error location for ambiguity errors, fixes #767 (commit: 6206481)
	core/typechecker/src/main/java/org/overture/typechecker/utilities/NameFinder.java (diff)
	core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java (diff)
	core/typechecker/src/main/java/org/overture/typechecker/assistant/definition/PDefinitionAssistantTC.java (diff)
	core/typechecker/src/main/java/org/overture/typechecker/assistant/definition/SClassDefinitionAssistantTC.java (diff)