As for the difference between <code>Name</code>s and <code>Var</code>s,
a <code>Var</code> is built from a <code>Name</code> plus additional
information (mostly importantly type information).
As for the difference between <code>Name</code>s and <code>Var</code>s,
a <code>Var</code> is built from a <code>Name</code> plus additional
information (mostly importantly type information).