Changes

Summary

1. Prevent looping type resolution, fixes #735 (commit: b576a75) (details)
2. Better approach to recursive type resolution errors, fixes #735 (commit: 05d176e) (details)
3. Put let RHS functional checks within -strict flag (commit: 8791e1f) (details)

Commit b576a7521ea8becd6d3708a44df4b0604ac67f80 by nick.battle Prevent looping type resolution, fixes #735 (commit: b576a75)
	core/typechecker/src/main/java/org/overture/typechecker/utilities/type/TypeUnresolver.java
	core/ast/src/main/resources/overtureII.astv2
Commit 05d176eb9732aaa2b7d15969436eae9805cea97a by nick.battle Better approach to recursive type resolution errors, fixes #735 (commit: 05d176e)
	core/typechecker/src/main/java/org/overture/typechecker/utilities/type/TypeUnresolver.java
	core/typechecker/src/main/java/org/overture/typechecker/utilities/type/PTypeResolver.java
	core/ast/src/main/resources/overtureII.astv2
Commit 8791e1ff56bad2f3d81de19a0e309c5766f1c5dd by nick.battle Put let RHS functional checks within -strict flag (commit: 8791e1f)
	core/pog/src/main/java/org/overture/pog/visitors/PogParamStmVisitor.java
	core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerStmVisitor.java
	core/ast/src/main/java/org/overture/ast/factory/AstFactory.java
	core/ast/src/main/resources/overtureII.astv2
	core/parser/src/main/java/org/overture/parser/syntax/StatementReader.java
	core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java
	core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java
	core/typechecker/src/main/java/org/overture/typechecker/Environment.java
	core/typechecker/src/main/java/org/overture/typechecker/FlatEnvironment.java
	core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerDefinitionVisitor.java