WYCS: type propagation is now working correctly with type attributes.