Changes

Summary

1. Fix the type definitions for pre and post conditions, fixes #740 (commit: e5b2e9f) (details)
2. Use re-stated types in definition imports (see #760) (commit: bd2643b) (details)

Commit e5b2e9f44de2909f4dfcdcb16b8c5c6bd60b1c0b by nick.battle Fix the type definitions for pre and post conditions, fixes #740 (commit: e5b2e9f)
	core/typechecker/src/main/java/org/overture/typechecker/assistant/definition/AExplicitFunctionDefinitionAssistantTC.java
Commit bd2643ba9d5f6245f6363a199a1ceaf9c8a075c7 by nick.battle Use re-stated types in definition imports (see #760) (commit: bd2643b)
	core/typechecker/src/main/java/org/overture/typechecker/utilities/expression/ImportDefinitionFinder.java
	core/typechecker/src/main/java/org/overture/typechecker/utilities/DefinitionTypeFinder.java