ExtractInfix.ref is actually a Term.Name, not a Term.Ref
prettyprinting fix for Pat.Typed nested in Pat.ExtractInfix
Merge pull request #33 from xeno-by/master

prettyprinting fix for Pat.Typed nested in Pat.ExtractInfix