chore(library/hott) add note referring to missing substitution lemma