Function substitution

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

Constructs a substitution from a pattern and a value