Fixes for lecture
Remove comment
Use enum instead
Include HLang in Lemma