The semantics builds with latest Lem
The semantics and metatheory directories work