WyC: begun converting the standard library to the new syntax.