contravariance annotations for mk_literal and mk_literal_s
removed the lock/unlock part of the Symbols table. That was a stupid hack
that was useless for single-threaded programs, and not sufficient for threaded ones.