pub type Pattern = (Option<u32>, Option<u32>, Option<u32>);
A triple pattern: None is an unbound variable, Some(id) a bound term.
None
Some(id)