Function substitution 

pub fn substitution(
    env: &Environment,
    pat: &Pattern,
    value: ConValue,
) -> IResult<HashMap<Sym, ConValue>>

Constructs a substitution from a pattern and a value