Types within WILSON