Type Alias Binding 

pub type Binding = BTreeMap<String, String>;

A solution: variable name → bound term (the public, resolved form).

Aliased Type

pub struct Binding { /* private fields */ }