HomeIsabelle/Phabricator

clarified Term.dest_abs (again, refining 71dfb835025d): only Free names are…