WyC: added verification test thanks to Matt Stevens.
WyCS: touched up the documentation after investigating a bug.
WyIL: added some documentation for the WyilFile class.
WyIL: continuing to improve the documentation for WyilFile.
WyIL: doing some refactoring.
WyC: now compiles at least the simplest possible file.
WyC: bug fix for lambdas.
WyIL: bug fix for verification condition generation.
WyIL: bug fix for back propagation.
WyIL: resolved #321
WyIL: more fixes related to #321
WyBS: thanks to Henry for pointing out a method in Build.Project which has no possible implementation.
WyIL: added some more documentation.
WyIL some additional documentation for WyilFile.
Fix for #326
Bug fix for parsing dereference assignments.  #325
WyC: fixed bug for dereference assignments; added test case to match (which doesn't yet run though). #325
WyC: updated test case for #325
WyIL: renamed Code.ELEMOF to be Code.IN for #332
Merge branch 'master' of github.com:DavePearce/Whiley