WYCS: working on supporting type tests within the assertion language.  Some way to go, it seems.