WyC: added interesting test case.
WyC: added another test case which fails to verify.
WyCS: update comment regarding representation of null.
WyCS: added another surprising test case which fails. Thanks to Matt Stevens for pointing this out!!
WyC: added verification test thanks to Matt Stevens.
WyCS: touched up the documentation after investigating a bug.