WYCS: parsing more complex types now