Risk and optimisation notation: private API

This file defines no name. It fills math_dict with the notation of the risk measures, their JuMP formulations, the penalties, weight finalisation and the meta-optimisers. unique_key_dict! refuses a key that another entry holds with a different description.