Type Alias Substitution 

pub type Substitution = HashMap<String, Term>;

Variable substitution (bindings)

Aliased Type

pub struct Substitution { /* private fields */ }