WyCS: bug fix for parsing quantified expressions.
WyCS: bug fix for parsing implications.
WyCS: updated standard library to the new syntax.