Some more glossary lemmas added / updated