Bugfix: CaseFun subtyping clause was bogus.  Properties pass.