A logic variable: ref is its identity, name is display-only.
ref
name
@type t() :: %Episteme.Term.Var{name: String.t(), ref: reference()}