Added more semantic equality test; fixed bugs related to the CLR's treatment of boolean values as ints
Merge branch 'master' of https://github.com/isse-augsburg/safety-sharp