Add ability to parse and find things besides Ids, use it to instantiate TyVars in Lemmas. (7.8 only)