Implementing classes can now satisfy guarded property declarations with
a traditional property declaration.

Also added XFAIL sections to a few tests that are expected to fail for
now until other tickets are closed.

fixes #13