Function decode 

pub fn decode(a: &mut impl Iterator<Item = bool>) -> Option<Term>