WYCS: bug fixes for syntact type expansion.  it kind of works now I suppose.  I'm not really sure why I did this though?