WyC: Fixing problems related to parsing type patterns and line wrapping.  Decided to include terminated flag to signal when line wrapping is permitted.
WyC: Fixing problems related to parsing type patterns and line wrapping.  Decided to include terminated flag to signal when line wrapping is permitted.

hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,Whiley/WhileyCompiler,hjwylde/whiley-compiler