Type Alias MatchRule 

pub type MatchRule = (Option<Name>, Vec<Option<Name>>, Term);