Minor bug fix.
WYCS: well that's improved performance a little.
WYCS: playing around with the verifier a little.
Added some more tests.
WYRL: renamed appropriately.
Lots of little tweaks
More tweaks
WYRL: completed rename ... now to test!
Merge branch 'devel' of github.com:DavePearce/Whiley into devel
WYRL: more tweaks as a result of renaming.
WYRL: bug fix
WYRL: a few more tweaks.
More changes
WYRL: a few final tweaks.
WYIL: bug fix for reading wyil files.  Thanks to Melby for spotting it!!
Added an emacs mode for wyrl files.
Added an emacs mode for wyal files.
Renaming some tests to indicate what they are testing.
Minor tweaks to emacs mode.
Minor tweak