Changes

[maven-release-plugin] prepare for next development iteration

Bump ide/ to version 3.0.1-SNAPSHOT
 (commit: 42ea313)

Prevent looping type resolution, fixes #735
 (commit: b576a75)

Better approach to recursive type resolution errors, fixes #735
 (commit: 05d176e)

Put let RHS functional checks within -strict flag
 (commit: 8791e1f)

Change warning number for let def impure operations
 (commit: f762e74)

Added warnings for threadid, time and new expressions in function ctxts
 (commit: b9ea923)

Added warning for function value comparisons, fixes #739
 (commit: 90c955f)

Pass element type into typecheck of set comprehensions, fixes #728
 (commit: 253f4ba)

Fix the type definitions for pre and post conditions, fixes #740
 (commit: e5b2e9f)

Use re-stated types in definition imports (see #760)
 (commit: bd2643b)

Correct check of function parameter patterns and arguments, fixes #762
 (commit: 656ece8)

[maven-release-plugin] prepare release Release/3.0.2

Bump ide/ to version 3.0.2
 (commit: cafcbab)