Types within EBERLE