Converts context bounds into implicit parameters.