WYIL: minor tweak.
WYCS: well, the verifier is starting to work.  However, I definitely need to get generics to work properly.  I also need to think about how to define types.  And, more.