Coeffects: Context-Aware Programming Languages