modLang.lem compiles