Getting the semantics ported to new Lem

They build now in new Lem and generate HOL, but not good HOL yet.