WyIL: fixed up verification condition generator; now it's compiling again!
WyIL: updated verification condition generator to eliminate some teething issues.
WyCS: bug fix for parsing function declarations.
WyCS: bug fix for various minor problems.
WyCS: bug fix for file writer
WyCS: changed name of NewWyalFileParser to WyalFileParser.
WyCS: updated instiation for SyntacticType.Function
WyCS: oops, forgot to add missing file after refactoring.