Fix bug, program elaboration is now idempotent

The mistake was in the elaboration of a dictionary associated to a type
variable `K 'a`, elaborated into `some_id['a]` while it should have been
simply `some_id[]`. (in this context, `some_id` is monomorphic)