Types within BESLY