RSA Model (Stub)

@cite{zaslavsky-hu-levy-2020}

RSAScenarioR and RSAModel typeclass removed. Use RSAConfig from Config.lean for real-valued RSA models.