WyC: bug fix for flow typing.
WyC: updated standard library to have all variables properly declared.