Whiley/WhileyCompiler — pull request #443 by hjwylde (2014-10-21 23:15:31+00:00)
Title: Minor edits

Very minor stuff, just tidy ups on the code. It looked like the `returnType` and `type` methods were being used correctly so those have not been changed.