Types within WELE