WyC: yet more statement kinds support.  #174