Core dependent language based on OTT (someday)