Re: [Typer] [Git][monnier/typer][ja-barszcz] [WIP] Add a set of typeclasses to the elab context

+type typeclass_ctx

• = (ltype * lctx_length) list (* FIXME make it a set of lexps ? *)

Ici, le plus important est de documenter le context dans lequel ces lexps se trouvent (sinon leurs `Var` n'ont pas de sens et ne peuvent même pas se comparer).

Autre chose: ajoute un FIXME qui dit qu'il faudrait remplacer cette liste par une structure de donnée qui permet la recherche en O(log N) ou mieux.

Stefan