Corrections for sync guards on static operations, see #209, #227, #228
Merge remote-tracking branch 'origin/development' into ncb/development
Type checker correction for "while true" loops, fixes #210
Corrected scheduling policy unfairness that affects stop ordering, fixes
#211